home *** CD-ROM | disk | FTP | other *** search
/ Chip 2007 January, February, March & April / Chip-Cover-CD-2007-02.iso / Pakiet internetowy / Przegladarki internetowe / Mozilla Seamonkey 1.0.5 pl / seamonkey-1.0.5.pl-PL.win32.installer.exe / VENKMAN.XPI / bin / chrome / venkman.jar / content / venkman / venkman-menus.js < prev    next >
Encoding:
JavaScript  |  2004-10-10  |  9.0 KB  |  297 lines
  1. /* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
  2.  *
  3.  * ***** BEGIN LICENSE BLOCK *****
  4.  * Version: MPL 1.1/GPL 2.0/LGPL 2.1
  5.  *
  6.  * The contents of this file are subject to the Mozilla Public License Version
  7.  * 1.1 (the "License"); you may not use this file except in compliance with
  8.  * the License. You may obtain a copy of the License at
  9.  * http://www.mozilla.org/MPL/
  10.  *
  11.  * Software distributed under the License is distributed on an "AS IS" basis,
  12.  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
  13.  * for the specific language governing rights and limitations under the
  14.  * License.
  15.  *
  16.  * The Original Code is The JavaScript Debugger.
  17.  *
  18.  * The Initial Developer of the Original Code is
  19.  * Netscape Communications Corporation.
  20.  * Portions created by the Initial Developer are Copyright (C) 1998
  21.  * the Initial Developer. All Rights Reserved.
  22.  *
  23.  * Contributor(s):
  24.  *   Robert Ginda, <rginda@netscape.com>, original author
  25.  *
  26.  * Alternatively, the contents of this file may be used under the terms of
  27.  * either the GNU General Public License Version 2 or later (the "GPL"), or
  28.  * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
  29.  * in which case the provisions of the GPL or the LGPL are applicable instead
  30.  * of those above. If you wish to allow use of your version of this file only
  31.  * under the terms of either the GPL or the LGPL, and not to allow others to
  32.  * use your version of this file under the terms of the MPL, indicate your
  33.  * decision by deleting the provisions above and replace them with the notice
  34.  * and other provisions required by the GPL or the LGPL. If you do not delete
  35.  * the provisions above, a recipient may use your version of this file under
  36.  * the terms of any one of the MPL, the GPL or the LGPL.
  37.  *
  38.  * ***** END LICENSE BLOCK ***** */
  39.  
  40. function initMenus()
  41. {    
  42.     function onMenuCommand (event, window)
  43.     {
  44.         var params;
  45.         var commandName = event.originalTarget.getAttribute("commandname");
  46.         if ("cx" in console.menuManager && console.menuManager.cx)
  47.         {
  48.             console.menuManager.cx.sourceWindow = window;
  49.             params = console.menuManager.cx;
  50.         }
  51.         else
  52.         {
  53.             params = { sourceWindow: window };
  54.         }
  55.             
  56.         dispatch (commandName, params);
  57.  
  58.         delete console.menuManager.cx;
  59.     };
  60.     
  61.     console.onMenuCommand = onMenuCommand;
  62.     console.menuSpecs = new Object();
  63.     var menuManager = 
  64.         console.menuManager = new MenuManager(console.commandManager,
  65.                                               console.menuSpecs,
  66.                                               getCommandContext,
  67.                                               "console.onMenuCommand(event, " +
  68.                                               "window);");
  69.  
  70.     console.menuSpecs["maintoolbar"] = {
  71.         items:
  72.         [
  73.          ["stop"],
  74.          ["-"],
  75.          ["cont"],
  76.          ["next"],
  77.          ["step"],
  78.          ["finish"],
  79.          ["-"],
  80.          ["profile-tb"],
  81.          ["toggle-pprint"]
  82.         ]
  83.     };
  84.  
  85.     console.menuSpecs["mainmenu:file"] = {
  86.         label: MSG_MNU_FILE,
  87.         items:
  88.         [
  89.          ["open-url"],
  90.          ["find-file"],
  91.          ["close-source-tab",
  92.                  {enabledif: "console.views.source2.currentContent && " +
  93.                              "console.views.source2.sourceTabList.length"}],
  94.          ["close"],
  95.          ["-"],
  96.          ["save-source-tab", { enabledif: "console.views.source2.canSave()" }],
  97.          ["save-profile"],
  98.          ["-"],
  99.          ["save-settings"],
  100.          ["restore-settings"],
  101.          ["toggle-save-settings",
  102.                  {type: "checkbox",
  103.                   checkedif: "console.prefs['saveSettingsOnExit']"}],
  104.          ["-"],
  105.          [navigator.platform.search(/win/i) == -1 ? "quit" : "exit"]
  106.         ]
  107.     };
  108.  
  109.     console.menuSpecs["mainmenu:view"] = {
  110.         label: MSG_MNU_VIEW,
  111.         items:
  112.         [
  113.          [">popup:showhide"],
  114.          ["-"],
  115.          ["reload-source-tab"],
  116.          ["toggle-source-coloring",
  117.                  {type: "checkbox",
  118.                   checkedif: "console.prefs['services.source.colorize']"} ],
  119.          ["toggle-pprint",
  120.                  {type: "checkbox",
  121.                   checkedif: "console.prefs['prettyprint']"}],
  122.          ["-"],
  123.          ["clear-session"],
  124.          [">session:colors"],
  125.          ["-"],
  126.          ["save-default-layout"],
  127.          ["toggle-save-layout",
  128.                  {type: "checkbox",
  129.                   checkedif: "console.prefs['saveLayoutOnExit']"}]
  130.         ]
  131.     };
  132.     
  133.     console.menuSpecs["mainmenu:debug"] = {
  134.         label: MSG_MNU_DEBUG,
  135.         items:
  136.         [
  137.          ["stop",
  138.                  {type: "checkbox",
  139.                   checkedif: "console.jsds.interruptHook"}],
  140.          ["cont"],
  141.          ["next"],
  142.          ["step"],
  143.          ["finish"],
  144.          ["-"],
  145.          [">popup:emode"],
  146.          [">popup:tmode"],
  147.          ["-"],
  148.          ["toggle-chrome",
  149.                  {type: "checkbox",
  150.                   checkedif: "console.prefs['enableChromeFilter']"}]
  151.          /*
  152.          ["toggle-ias",
  153.                  {type: "checkbox",
  154.                   checkedif: "console.jsds.initAtStartup"}]
  155.          */
  156.         ]
  157.     };
  158.  
  159.     console.menuSpecs["mainmenu:profile"] = {
  160.         label: MSG_MNU_PROFILE,
  161.         items:
  162.         [
  163.          ["toggle-profile",
  164.                  {type: "checkbox",
  165.                   checkedif: "console.jsds.flags & COLLECT_PROFILE_DATA"}],
  166.          ["clear-profile"],
  167.          ["save-profile"]
  168.         ]
  169.     };
  170.  
  171.     /* Mac expects a help menu with this ID, and there is nothing we can do
  172.      * about it. */
  173.     console.menuSpecs["mainmenu:help"] = {
  174.         label: MSG_MNU_HELP,
  175.         domID: "menu_Help",
  176.         items:
  177.         [
  178.          ["version"],
  179.          ["-"],
  180.          ["help"]
  181.         ]
  182.     };
  183.     
  184.     console.menuSpecs["popup:emode"] = {
  185.         label: MSG_MNU_EMODE,
  186.         items:
  187.         [
  188.          ["em-ignore",
  189.                  {type: "radio", name: "em",
  190.                   checkedif: "console.errorMode == EMODE_IGNORE"}],
  191.          ["em-trace",
  192.                  {type: "radio", name: "em",
  193.                   checkedif: "console.errorMode == EMODE_TRACE"}],
  194.          ["em-break",
  195.                  {type: "radio", name: "em",
  196.                   checkedif: "console.errorMode == EMODE_BREAK"}]
  197.         ]
  198.     };
  199.     
  200.     console.menuSpecs["popup:tmode"] = {
  201.         label: MSG_MNU_TMODE,
  202.         items:
  203.         [
  204.          ["tm-ignore",
  205.                  {type: "radio", name: "tm",
  206.                   checkedif: "console.throwMode == TMODE_IGNORE"}],
  207.          ["tm-trace",
  208.                  {type: "radio", name: "tm",
  209.                   checkedif: "console.throwMode == TMODE_TRACE"}],
  210.          ["tm-break",
  211.                  {type: "radio", name: "tm",
  212.                   checkedif: "console.throwMode == TMODE_BREAK"}]
  213.         ]
  214.     };
  215.  
  216.     console.menuSpecs["popup:showhide"] = {
  217.         label: MSG_MNU_SHOWHIDE,
  218.         items: [ /* filled by initViews() */ ]
  219.     };
  220. }
  221.  
  222. console.createMainMenu = createMainMenu;
  223. function createMainMenu(document)
  224. {
  225.     var mainmenu = document.getElementById("mainmenu");
  226.     var menuManager = console.menuManager;
  227.     for (var id in console.menuSpecs)
  228.     {
  229.         var domID;
  230.         if ("domID" in console.menuSpecs[id])
  231.             domID = console.menuSpecs[id].domID;
  232.         else
  233.             domID = id;
  234.         
  235.         if (id.indexOf("mainmenu:") == 0)
  236.             menuManager.createMenu (mainmenu, null, id, domID);
  237.     }
  238.  
  239.     mainmenu.removeAttribute ("collapsed");
  240.     var toolbox = document.getElementById("main-toolbox");
  241.     toolbox.removeAttribute ("collapsed");
  242. }
  243.  
  244. console.createMainToolbar = createMainToolbar;
  245. function createMainToolbar(document)
  246. {
  247.     var maintoolbar = document.getElementById("maintoolbar");
  248.     var menuManager = console.menuManager;
  249.     var spec = console.menuSpecs["maintoolbar"];
  250.     for (var i in spec.items)
  251.     {
  252.         menuManager.appendToolbarItem (maintoolbar, null, spec.items[i][0]);
  253.     }
  254.  
  255.     maintoolbar = document.getElementById("maintoolbar-outer");
  256.     maintoolbar.removeAttribute ("collapsed");
  257.     maintoolbar.className = "toolbar-primary chromeclass-toolbar";
  258.     var toolbox = document.getElementById("main-toolbox");
  259.     toolbox.removeAttribute ("collapsed");
  260. }
  261.  
  262. function getCommandContext (id, event)
  263. {
  264.     var cx = { originalEvent: event };
  265.     
  266.     if (id in console.menuSpecs)
  267.     {
  268.         if ("getContext" in console.menuSpecs[id])
  269.             cx = console.menuSpecs[id].getContext(cx);
  270.         else if ("cx" in console.menuManager) 
  271.         {
  272.             //dd ("using existing context");
  273.             cx = console.menuManager.cx;
  274.         }
  275.         else
  276.         {
  277.             //dd ("no context at all");
  278.         }
  279.     }
  280.     else
  281.     {
  282.         dd ("getCommandContext: unknown menu id " + id);
  283.     }
  284.  
  285.     if (typeof cx == "object")
  286.     {
  287.         if (!("menuManager" in cx))
  288.             cx.menuManager = console.menuManager;
  289.         if (!("contextSource" in cx))
  290.             cx.contextSource = id;
  291.         if ("dbgContexts" in console && console.dbgContexts)
  292.             dd ("context '" + id + "'\n" + dumpObjectTree(cx));
  293.     }
  294.  
  295.     return cx;
  296. }
  297.